سه کشيش و سه آدم خوار در يک طرف رودخانه قرار دارند و هم چنين قايقي که
قادر است يک يا دو نفر را حمل کند. راهي را بيابيد که هر نفر (همه) به سمت
ديگر رودخانه برود، بدون آنکه تعداد کشيشها در يکجا کمتر از آدم خوارها
شود.
حالات: يک حالت شامل يک دنبالة مرتب شده از عدد است که تعداد کشيشها،
تعداد آدمخوارها و محل قايق در ساحلي از رودخانه که از آنجا مسئله شروع شده
را نمايش ميدهد.
عملگرها: از هر حالت، عملگرهاي ممکن يک کشيش، يک آدمخوار، دو کشيش، دو آدمخوار، يا يکي از هر کدام را در قايق جا ميدهند.